Specifying Components with Compositional Patterns, LOTOS and Design By Contract
نویسندگان
چکیده
specification of a component The abstract specification contains a formal model of design component, called design component contract. A design component contract includes structural contract, behavioural contract and interface contract 11/06/2013 11 SEDE 2010, San Francisco The abstract specification contract is defined by: ASC::={, ,, } For all i, j / i # j name.cpi # name.cpj 12 11/06/2013 SEDE 2010, San Francisco The abstract specification contract is defined by: ASC::={, ,, } describe the relations of the constructs of each design component 11/06/2013 13 SEDE 2010, San Francisco The abstract specification contract is defined by: ASC::={, ,, } The finite set of input or output ports attached to a design component and the set of messages sent to or received by a component 11/06/2013 14 SEDE 2010, San Francisco The abstract specification contract is defined by: ASC::={, ,, } The behavioural properties are constraints such as event ordering, and action sequence of each design component 15 SEDE 2010, San Francisco 11/06/2013 Structural contracts The structural aspect of a design component contract SC is a tuple SC = (C, A, M, T, Ar, Pc,Pa,),where C is a set of classes in the design component, A is a set of attributes defined in classes C, M is a set of methods defined in classes C, T is a set of types, Ar is a set of access rights = {public, protected, private}, Pc is a set of connection predicates symbols that capture the relationships For example (Inherit, association, aggregation,..), and Pa is a set of action predicates symbols that can perform in a design component For example (invoke, new, return...) 11/06/2013 SEDE 2010, San Francisco 16 Can be formalized using a subset of First Order Logic (FOL), The subset of FOL used to describe the structural aspect of a design component comprises variable symbols, connectives (‘∧’), quantifiers (‘∃’), element (є) and predicate symbols acting upon variable symbols. The variable symbols represent class, objects, while the predicate symbols represent permanent relations. 11/06/2013 SEDE 2010, San Francisco 17 Entity predicates Relationship predicates Entity predicates define whether a design component has a specific class (abstract or concrete), what a method (or attribute) is defined in a class.... Relationship predicates define the relations between classes, attributes, and operations and the actions that a role can perform in a component. 11/06/2013 SEDE 2010, San Francisco 18
منابع مشابه
Rigorous Description Of Design Components Functionality: An Approach Based Contract
Current models for software components have made component-based software engineering practical. However, these models are limited in the sense that their support for the characterization/specification of design components primarily deals with syntactic issues. To avoid mismatch and misuse of components, more comprehensive specification of software components is required, In this paper, we pres...
متن کاملRigorous Description Of Design Components Functionality: An Approach Based Contract
Current models for software components have made componentbased software engineering practical. However, these models are limited in the sense that their support for the characterization/specification of design components primarily deals with syntactic issues. To avoid mismatch and misuse of components, more comprehensive specification of software components is required, In this paper, we prese...
متن کاملA Contract-Based Language to Specify Design Components
For component-based software development to be successful in organizations, the software developers must give close attention to the design of components as independent abstractions with well-specified behaviors. Without well-specified behaviors the possibility to distribute and acquire software components will be limited. In this article, we present a contract-based approach to analyze and mod...
متن کاملSpecifying Hardware Systems in LOTOS
This paper reports on some initial results in using LOTOS as a hardware description language. LOTOS, the Language Of Temporal Ordering Specifications, is a language that has been conceived in the framework of Open Systems Interconnection (OSI) standardization as a tool for the formal description of OSI services and protocols. We present some examples to show how LOTOS can be applied to the spec...
متن کاملCompositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
In this report, we present the application of the Cadp verification toolbox to check the correctness of an industrial protocol for deploying and configuring transparently a large set of heterogeneous software components over a set of distributed computers/devices. To cope with the intrinsic complexity of this protocol, compositional verification techniques have been used, including incremental ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010